Computer Science and Engineering

Results: 6228



#Item
481Cache / Computer architecture / Computing / Analysis of algorithms / Models of computation / Computer science / Computer engineering / Cache-oblivious algorithm / Computer memory / Memory hierarchy / Divide and conquer algorithms / CPU cache

Lecture 8: The Cache Oblivious Approach www.cs.illinois.edu/~wgropp Designing for Memory Hierarchy

Add to Reading List

Source URL: wgropp.cs.illinois.edu

Language: English - Date: 2015-01-15 10:21:32
482Theoretical computer science / Algorithms / Formal methods / Software engineering / HindleyMilner type system / Lambda calculus / Type theory / Mathematics

The Development of the AQ20 Learning System and Initial Experiments Guido Cervone Liviu Panait Ryszard Michalski* Machine Learning and Inference Laboratory, George Mason University, Fairfax,

Add to Reading List

Source URL: cervone.psu.edu

Language: English - Date: 2015-11-18 09:12:46
483SIGMOD / Computer science / Alberto O. Mendelzon

CALL FOR PAPERS MobiDE 2010: 9th International ACM Workshop on Data Engineering for Wireless and Mobile Access Sponsored by

Add to Reading List

Source URL: www.softnet.tuc.gr

Language: English - Date: 2010-04-19 09:34:55
484Auction theory / Mathematics / Submodular set function / Competitive equilibrium / Theoretical computer science / Valuation / Gross substitutes / Software engineering / Pure / Combinatory logic

GROSS SUBSTITUTABILITY : AN ALGORITHMIC SURVEY RENATO PAES LEME∗ Abstract. The concept of gross substitute valuations was introduced by Kelso and Crawford as a sufficient conditions for the existence of Walrasian equil

Add to Reading List

Source URL: www.renatoppl.com

Language: English - Date: 2013-11-28 12:54:41
485Sound recording / Consumer electronics / Ambient intelligence / Internet of things / Surround sound / Microphone / Information science / Technology / Computing

The Haunted House: Networking Smart Homes to Enable Casual Long-Distance Social Interactions Meghan Clark and Prabal Dutta Electrical Engineering and Computer Science Department University of Michigan

Add to Reading List

Source URL: web.eecs.umich.edu

Language: English - Date: 2015-09-15 08:39:05
486Software / Computing / System software / Computer access control / Password / Security / Cryptography / Pass / Cryptographic software / Challengeresponse authentication / HTTP cookie / Android

Department of Electrical Engineering and Computer Science MASSACHUSETTS INSTITUTE OF TECHNOLOGYFallQuiz II Solutions

Add to Reading List

Source URL: css.csail.mit.edu

Language: English - Date: 2016-01-29 11:50:05
487Networks / Mathematics / Graph theory / Network theory / Physics / Community structure / Cosine similarity / Similarity / Centrality / SimRank / Tree / Jaccard index

CollabSeer: A Search Engine for Collaboration Discovery Hung-Hsuan Chen† , Liang Gou‡ , Xiaolong (Luke) Zhang‡ , C. Lee Giles†‡ Computer Science and Engineering Information Sciences and Technology The Pennsylva

Add to Reading List

Source URL: zhang.ist.psu.edu

Language: English - Date: 2011-08-01 21:01:56
488Computer programming / Software engineering / Computing / Theoretical computer science / Programming idioms / Algorithms / Computability theory / Mathematical logic / Recursion / Programming paradigm / Subroutine / Iteration

Curriculum and Course Syllabi for a High-School Program in Computer Science1 Judith Gal-Ezer2 David Harel3

Add to Reading List

Source URL: www.openu.ac.il

Language: English - Date: 2004-09-27 01:19:29
489Computing / Software / Computer science / Guang Gao / International Parallel and Distributed Processing Symposium / International Federation for Information Processing / Computer architecture / Actor model / Parallel computing / Compiler / Federated Computing Research Conference / Krishna Palem

CURRICULUM VITAE NAME GUANG R. GAO OFFICE ADDRESS Department of Electrical Engineering 140 Evans Hall

Add to Reading List

Source URL: www.capsl.udel.edu

Language: English - Date: 2015-02-12 15:30:49
490Mathematics / Equations / Algorithm / Mathematical logic / Theoretical computer science / Equation solving / Abstraction / Philosophy of mathematics

Computing Weighted Solutions in ASP: Representation-Based Method vs. Search-Based Method Duygu C ¸ akmak, Halit Erdo˘gan, and Esra Erdem Faculty of Engineering and Natural Sciences, Sabancı University, Istanbul, Turke

Add to Reading List

Source URL: ceur-ws.org

Language: English - Date: 2010-05-19 00:29:12
UPDATE